PADL 2005 : practical aspects of declarative languages (Long Beach CA, 10-11 January 2005)Hermenegildo, Manuel; Cabeza, Daniel.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-24362-3, VIII, 267 p, isbn 3-540-24362-3Conference Proceedings

Declarative programming for knowledge management (16th International conference on applications of declarative programming and knowledge management, INAP 2005, Fukuoka, Japan, October 22-24, 2005)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-69233-9, 1Vol, X-228 p, isbn 3-540-69233-9Conference Proceedings

Building the world from first principles: Declarative machine descriptions and compiler constructionRAMSEY, Norman.Lecture notes in computer science. 2005, pp 1-4, issn 0302-9743, isbn 3-540-24362-3, 4 p.Conference Paper

The Importance of Being DeclarativeSPINELLIS, Diomidis.IEEE software. 2013, Vol 30, Num 1, pp 90-91, issn 0740-7459, 2 p.Article

PADL 2004 : practical aspects of declarative languages (Dallas TX, 18-19 June 2004)Jayaraman, Bharat.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22253-7, VIII, 254 p, isbn 3-540-22253-7Conference Proceedings

Practical aspects of declarative languages (9th international symposium, PADL 2007, Nice, France, January 14-15, 2007)Hanus, Michael.Lecture notes in computer science. 2007, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, X-334 p, isbn 978-3-540-69608-7Conference Proceedings

Practical declarative model transformation with tefkatLAWLEY, Michael; STEEL, Jim.Lecture notes in computer science. 2006, pp 139-150, issn 0302-9743, isbn 3-540-31780-5, 1Vol, 12 p.Conference Paper

Lmntal as a unifying declarative language : Live demonstrationUEDA, Kazunori; KATO, Norio; HARA, Koji et al.Lecture notes in computer science. 2006, pp 457-458, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

DALT 2003 : declarative agent languages and technologies (Melbourne, 15 July 2003, revised selected and invited papers)Leite, Joao; Omicini, Andrea; Sterling, Leon et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22124-7, XII, 279 p, isbn 3-540-22124-7Conference Proceedings

Union and intersection of filtering functions for information filteringSAWAI, Rie; TSUKAMOTO, Masahiko; TERADA, Tsutomu et al.Lecture notes in computer science. 2004, pp 738-749, issn 0302-9743, isbn 3-540-21047-4, 12 p.Conference Paper

Declarative agent languages and technologies IV (4th International workshop, DALT 2006, Hakodate, Japan, May 8, 2006)Baldoni, Matteo; Endriss, Ulle.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-68959-1, 1Vol, VIII-256 p, isbn 3-540-68959-1Conference Proceedings

Discovery of minimal unsatisfiable subsets of constraints using hitting set dualizationBAILEY, James; STUCKEY, Peter J.Lecture notes in computer science. 2005, pp 174-186, issn 0302-9743, isbn 3-540-24362-3, 13 p.Conference Paper

Type class directivesHEEREN, Bastiaan; HAGE, Jurriaan.Lecture notes in computer science. 2005, pp 253-267, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Declarative agent languages and technologies III (Third international workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-33106-9, 1Vol, XII-244 p, isbn 3-540-33106-9Conference Proceedings

Quickcheck testing for fun and profitHUGHES, John.Lecture notes in computer science. 2007, pp 1-32, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, 32 p.Conference Paper

On improving the efficiency and robustness of table storage mechanisms for tabled evaluationROCHA, Ricardo.Lecture notes in computer science. 2007, pp 155-169, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, 15 p.Conference Paper

Pruning in the extended Andorra modelLOPES, Ricardo; COSTA, Vitor Santos; SILVA, Fernando et al.Lecture notes in computer science. 2004, pp 120-134, issn 0302-9743, isbn 3-540-22253-7, 15 p.Conference Paper

Extending Languages by Leveraging Compilers: From Modelica to OptimicaHEDIN, Görel; KESSON, Johan A; EKMAN, Torbjörn et al.IEEE software. 2011, Vol 28, Num 3, pp 68-74, issn 0740-7459, 7 p.Article

Prolog performance on larger datasetsSANTOS COSTA, Vitor.Lecture notes in computer science. 2007, pp 185-199, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, 15 p.Conference Paper

An ordered logic program solverVAN NIEUWENBORGH, Davy; HEYMANS, Stijn; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 128-142, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

A logic for ignoranceVAN DER HOEK, Wiebe; LOMUSCIO, Alessio.Lecture notes in computer science. 2004, pp 97-108, issn 0302-9743, isbn 3-540-22124-7, 12 p.Conference Paper

A social approach to communication in multiagent systemsCOLOMBETTI, Marco; FORNARA, Nicoletta; VERDICCHIO, Mario et al.Lecture notes in computer science. 2004, pp 191-220, issn 0302-9743, isbn 3-540-22124-7, 30 p.Conference Paper

Inductive logic programming : Yet another application of logicYAMAMOTO, Akihiro.Lecture notes in computer science. 2006, pp 102-116, issn 0302-9743, isbn 3-540-69233-9, 1Vol, 15 p.Conference Paper

Safe programming with pointers through statefui viewsZHU, Dengping; XI, Hongwei.Lecture notes in computer science. 2005, pp 83-97, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Coo-BDI: Extending the BDI model with cooperativityANCONA, Davide; MASCARDI, Viviana.Lecture notes in computer science. 2004, pp 109-134, issn 0302-9743, isbn 3-540-22124-7, 26 p.Conference Paper